12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking and Application > 378-393
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking and Application > 394-409
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking and Application > 410-424